Logic programming - PDFSEARCH.IO - Document Search Engine

Logic programming
Results: 2694

#	Item
91	LNCSA Standard Framework for Timetabling Problems Add to Reading List Source URL: stefan.buettcher.org Language: English - Date: 2006-04-07 00:52:14 Constraint programming Mathematical optimization Artificial intelligence Theoretical computer science Applied mathematics Constraint logic programming NP-hard problems Operations research Genetic algorithm Nurse scheduling problem Constrained optimization
92	Temporal Mode-Checking for Runtime Monitoring of Privacy Policies Omar Chowdhury§ , Limin Jia§ , Deepak Garg† , and Anupam Datta§ Carnegie Mellon University§ , Max Planck Institute for Software Systems† {omarc, l Add to Reading List Source URL: www.andrew.cmu.edu Language: English - Date: 2016-01-24 20:37:43 Logic Mathematical logic Automated theorem proving Logic programming Logical truth Propositional calculus Substitution FO Constructible universe Normal distribution
93	Sonic Partial Deduction Jonathan Martin and Michael Leuschel Declarative Systems and Software Engineering Group Technical Report DSSE-TR-99-3 Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:06:04 Mathematics Logic Functions and mappings Mathematical logic Logic programming Automated theorem proving Append Functional programming Lisp Unfolding Substitution Atomic formula
94	New Wave KRR: Rulelog-based Deep Reasoning with NLP for Financial Regulatory Compliance and More Benjamin Grosof* Coherent Knowledge Presentation (30-min.) Add to Reading List Source URL: ijcai-16.org Language: English - Date: 2016-07-22 16:57:54** Software engineering Logic Declarative programming Reasoning Programming paradigms Model theory Logical connectives Logic programming Prolog Datalog HiLog XSB
95	CS264: Beyond Worst-Case Analysis Lecture #20: From Unknown Input Distributions to Instance Optimality∗ Tim Roughgarden† December 3, 2014 Add to Reading List Source URL: theory.stanford.edu Language: English - Date: 2014-12-29 00:22:18 Operations research Algorithm Mathematical logic Theoretical computer science Mathematical optimization Academia Mathematics Applied mathematics Dynamic programming Randomized algorithms as zero-sum games Randomized rounding
96	MaSh: Machine Learning for Sledgehammer Daniel Kühlwein1 , Jasmin Christian Blanchette2 , Cezary Kaliszyk3 , and Josef Urban1 1 2 Add to Reading List Source URL: people.mpi-inf.mpg.de Language: English - Date: 2015-03-13 06:06:51 Mathematical logic Theoretical computer science Automated theorem proving Mathematics Logic in computer science Formal methods Proof assistants Artificial intelligence Isabelle Automated reasoning IP Logic programming
97	Controlling The Real World With Computers ::. Control And Embedded Systems .:: Table Of Contents Previous: Programming Part 1 Next: Boolean Logic Add to Reading List Source URL: learn-c.com Language: English - Date: 2016-02-02 18:33:21 Binary arithmetic Computer arithmetic Computing Arithmetic Mathematics Nibble Hexadecimal Integer Most significant bit Byte 4-bit Least significant bit
98	A Note on Monitor Versions Essay in the Honour of C.A.R. Hoare Ole-Johan Dahl Department of Informatics University of Oslo, Norway 30th July 1999 Add to Reading List Source URL: www.olejohandahl.info Language: English - Date: 2013-09-23 13:44:35 Software engineering Computing Programming language theory Concurrency control Edsger W. Dijkstra Monitor Formal methods Hoare logic Event Semaphore Concurrent computing Pascal
99	Paramodulation Paramodulation Linear Paramodulation Add to Reading List Source URL: profs.sci.univr.it Language: English - Date: 2010-08-31 11:58:31 Automated theorem proving Logic Logic programming Mathematical logic Theoretical computer science Logical truth Propositional calculus Substitution Resolution
100	Expressive Logical Combinators for Free Pierre Genevès (CNRS) Joint work with Alan Schmitt (Inria) IJCAI, July 30th 2015, Buenos Aires Add to Reading List Source URL: tyrex.inria.fr Language: English - Date: 2015-07-29 15:55:34 Logic Theoretical computer science Logic in computer science Mathematics Lambda calculus Formal languages Mathematical logic Syntax Combinatory logic FO Well-formed formula Logic programming

UPDATE